Basic research

Results: 2119



#Item
631

BRICS Basic Research in Computer Science BRICS RSPalamidessi & Valencia: A Temporal Concurrent Constraint Programming Calculus A Temporal Concurrent Constraint

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2001-06-08 09:12:55
    632

    BRICS RSDanvy & Millikin: On the Equivalence between Small-Step and Big-Step Abstract Machines: A Simple Application of L BRICS Basic Research in Computer Science

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2008-06-27 04:43:35
      633

      BRICS RSAceto et al.: Bisimilarity is not Finitely Based over BPA with Interrupt BRICS Basic Research in Computer Science

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 2004-10-27 10:17:47
        634

        BRICS Basic Research in Computer Science BRICS RSBinderup et al.: The Complexity of Identifying Large Equivalence Classes The Complexity of Identifying

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1999-01-11 20:21:03
          635

          BRICS Basic Research in Computer Science BRICS DS-97-1 G. S. Brodal: Worst Case Efficient Data Structures Worst Case Efficient Data Structures

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1997-09-02 07:54:32
            636

            BRICS RSBrodal et al.: On the Adaptiveness of Quicksort BRICS Basic Research in Computer Science

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2005-01-19 20:25:59
              637

              BRICS Basic Research in Computer Science BRICS RSL. Santocanale: Free µ-lattices Free µ-lattices

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2000-11-14 08:48:45
                638

                BRICS Basic Research in Computer Science BRICS RSNielsen & Valencia: Temporal Concurrent Constraint Programming: Applications and Behavior Temporal Concurrent

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2001-12-14 09:32:09
                  639

                  BRICS Basic Research in Computer Science BRICS NS-01-2 Brookes & Mislove (eds.): MFPS ’01 Preliminary Proceedings

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2003-07-08 08:28:49
                    640

                    BRICS Basic Research in Computer Science BRICS NS-98-6 Butz et al. (eds.): Abstracts of the Workshop on Proof Theory and Complexity, PTAC ’98 Abstracts of the Workshop on

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1998-07-30 03:38:54
                      UPDATE